Anytime Belief Revision
نویسنده
چکیده
Belief Revision is a ubiquitous process underlying many forms of intelligent behaviour. The AGM paradigm is a powerful framework for modeling and implementing belief revision systems based on the principle of Minimal Change; it provides a rich and rigorous foundation for computer-based belief revision architectures. Maxi-adjustment is a belief revision strategy for theory bases that can be implemented using a standard theorem prover, and one that has been used successfully for several applications. In this paper we provide an anytime decision procedure for maxi-adjustments, and study its complexity. Furthermore, we outline a set of guidelines that serve as a protomethodology for building belief revision systems employing a maxi-adjustment. The algorithm is under development in the belief revision module of the CIN Project.
منابع مشابه
Belief Revision Through the Belief-Function Formalism in a Multi-Agent Environment
To perform “belief revision” in a multi-agent environment, we followed two main guidelines. 1. replacing the “priority to the incoming information principle” with the “recoverability principle”: an anytime received piece of information must belong to the current cognitive state whenever it is possible 2. dealing not just with pieces of information but with couples , since t...
متن کاملBelief Revision under Uncertainty in a Multi Agent Environment
Recently, several methods have been proposed to revise a knowledge space afterthe incoming of a contradictory information. In this chapter, we begin by surveyingsome of the main symbolic and numerical approaches. We suggest two mainguidelines to perform “belief revision” in a multi-agent environment: 1. replacing the “priority to the incoming information principle” with the“reco...
متن کاملDependency-Directed Reconsideration Belief Base Optimization for Truth Maintenance Systems
We define reconsideration, a non-prioritized belief change operation on a finite set of base beliefs. Reconsideration is a hindsight belief change repair that eliminates negative effects caused by the order of previously executed belief change operations. Beliefs that had previously been removed are returned to the base if there no longer are valid reasons for their removal. This might result i...
متن کاملAn Experimental Study on Ubiquitous commerce Adoption: Impact of Personalization and Privacy Concerns
Ubiquitous commerce (u-commerce) represents " anytime, anywhere " commerce. U-commerce can provide a high level of personalization, which can bring significant benefits to customers. However, privacy is a major concern to customers and an obstacle to the adoption of u-commerce. This research examines how personalization and context can impact customers' privacy concerns as well as intention to ...
متن کاملtreeNets: A Framework for Anytime Evaluation of Belief Networks
We present a new framework for implementing evaluation of belief networks (BNs), which consists of two steps: (1) transforming a belief network into a tree structure called a treeNet (2) performing anytime inference by searching the treeNet. The root of the treeNet represents the query node. Once the treeNet has been constructed, whenever new evidence is incorporated, the posterior probability ...
متن کامل